#!/bin/sh
# ivanzhang @ 2011.8.28
#快速停止jetty服务器
JETTY_PID=`jps -v | awk '$3~/DName=bbplatform/{print $1}'`
echo $JETTY_PID
if [ $JETTY_PID -ge 0 ]; then 
   kill -9 $JETTY_PID 
   echo "Jetty Server is Stoped!"
else
   echo "Jetty Server is NOt Running, U Know?"
   exit 1
fi
